Fast Dynamic Analysis of Complex HW/SW-Systems Based on State Machine Models
نویسندگان
چکیده
High level design decisions as HW/SW-partitioning and instrumenting of building blocks can be supported efficientlyby detailed analysis of dynamic instruction usage. In many cases the instruction usage is specific to the applicationdomain in view. Wepresent a very fast analysis approachbased on high level system models. Complex application characteristics, e.g., the average number of not interruptedinstructions can be determined. This is much morethan execution of, e.g., C-programs can provide.
منابع مشابه
Towards a Unified Analysis Methodology of HW/SW Systems based on Abstract State Machines: Modelling of Instruction Sets
In this paper we propose a novel approach to high-level analysis of HW/SW systems based on abstract state machines, a state-based specification method with a rigorous mathematical semantics. As a step in the direction of a comprehensive analysis methodology, we show how to model instruction sets and how to instrument such models in order to collect experimental data which are relevant for the e...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملAnalysis of converter-permanent magnet synchronous machine set by improved average-value modeling
Dc excitation of the field winding in a synchronous machine can be provided by permanent magnets. Permanent magnet synchronous machine (PMSM) can offer simpler construction, lower weight and size for the same performance, with reduced losses and higher efficiency. Thanks to the mentioned advantages these motors are widely used in different application, therefore analysis and modeling of the...
متن کاملAn Effective Attack-Resilient Kalman Filter-Based Approach for Dynamic State Estimation of Synchronous Machine
Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...
متن کاملA model-driven validation & verification environment for embedded systems
This paper presents a model-driven environment for HW/SW co–design and analysis of embedded systems based on the Unified Modeling Language, UML profiles for SystemC/multithread C, and the Abstract State Machine formal method. The environment supports a model-driven design methodology which provides a graphical high-level representation of hardware and software components, and allows C/C++/Syste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003